#ifndef __PCB_H__
#define __PCB_H__

/// 32Bit Register Wert der CPU
typedef unsigned int register_t;

/**
 * CPU Zustand, wie er zum Prozesswechsel auf dem Kernstack des jeweiligen
 * Prozesses gesichert wird
 */
typedef struct cpu_state_t {	
	register_t	 spsr;
	register_t	 r0; 	
	register_t	 r1; 	
	register_t	 r2; 	
	register_t	 r3; 	
	register_t	 r4;
	register_t	 r5;
	register_t	 r6;
	register_t	 r7;
	register_t	 r8;
	register_t	 r9;
	register_t	 r10; 	
	register_t	 r11; 	
	register_t	 r12; 	
	register_t	 r13; 	
	register_t	 r14; 	
	register_t	 pc; //pc + 4
} cpu_state_t;
#endif // __PCB_H__
